From 6d847cf8cb7fd656bb99f8918894f598fd783ec8 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 13 Apr 2006 10:41:53 +0100 Subject: [PATCH] The comment in xen.h on how to obtain current system time was missing a right shift by 32 bits. Signed-Off-By: Bruce Rogers --- xen/include/public/xen.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h index 8b2faffc6f..cf5e38c9b7 100644 --- a/xen/include/public/xen.h +++ b/xen/include/public/xen.h @@ -286,7 +286,8 @@ typedef struct vcpu_time_info { uint64_t system_time; /* Time, in nanosecs, since boot. */ /* * Current system time: - * system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul + * system_time + + * ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32) * CPU frequency (Hz): * ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift */ -- 2.30.2